Papers on Model Theory

1.      Weak second order logic in group theory (with V.Remeslennikov). Contemp. Math. 131 (1992), no. 2, 273-277.

 

2.      Admissible sets in group theory (with V.Remeslennikov). Algebra i logika, 3 (1992).

 

3.      Model-theoretic problems of algebra. Dissertation, VINITI, Moscow, 1992.

 

4.      Invariants of bilinear mappings. Siberian J. Math., 31 (1990), no. 1, 104-115.

 

5.      Model theory of bilinear mappings. Siberian J. Math., 31 (1990), no. 3, 94-108.

 

6.      Logic of finite types in group theory (with V.Remeslennikov). Bull. Siberian Math. Soc., Novosibirsk, 1990, 18-25.

 

7.      Structure of models and criteria of decidability of complete theories of finite-dimensional algebras (with V.Remeslennikov). Izvest. Akademii Nauk USSR, ser.math 53 (1989), no. 2., 379-397.

 

8.      Modules over local ring. Siberian J. Math., 30 (1989), no. 3, 72-83.

 

9.      Model-theoretical problems in group theory (with V.Remeslennikov). Problems of Algebra 4, Minsk, 1989.

 

10.  Recursive p-adic numbers and elementary theories of finitely generated pro-p-groups (with V.Remeslennikov). Izvest. Akademii Nauk USSR, ser.math 30 (1988), no. 3.

 

11.  Admissible sets in group theory (with V.Remeslennikov). Preprint 803, Novosibirsk, Academy of Sciense, 1988.

 

12.  Elementary equivalence of free products of groups with a length function (with V.Remeslennikov). Proc.Academy of Science USSR 718, Novosibirsk, 1987, 1-22.

 

13.  Free operator groups with length function and finitely generated group of operators. Computable invariants of algebraic structures., Novosibirsk, 1987, 87-97.

 

14.  Abstract isomorphisms and elementary theories of finite dimensional algebras and unipotent groups. Doklady Akademii Nauk USSR, 297 (1987), no. 2, 290-293.

 

15.  Elementary group equivalence with the integral length function (with V.Remeslennikov). Illinois J. Math., 30 (1986), no. 2, 335-354.

 

16.  Finite-dimensional algebras and k-groups of finite rank. Contemp. Math., 33 (1984), 436-453.

 

17.  Stable torsion-free rings and nilpotent groups. VII Soviet Union conf. on math. logic, Novosibirsk, 1984.

 

18.  Definability of Mal'cev bases and elementary properties of finite dimensional algebras. I  (with V.Remeslennikov). Siberian J. Math., 23 (1982), no. 5, 152-167.

 

19.  Definability of Mal'cev bases and elementary properties of finite dimensional algebras. II  (with V.Remeslennikov). Siberian J. Math., 24 (1982), no. 2, 97-113.

 

20.  Isomorphism and elementary properties of powered nilpotent groups (with V.Remeslennikov). Proc.Math.Institute  2, Nauka, Novosibirsk, 1981, 56-87.

 

21.  Elementary properties of powered nilpotent groups (with V.Remeslennikov). Doklady Akademii Nayuk 258 (1981), no. 5, 1056-1059.